Set-set topologies and semitopological groups
نویسندگان
چکیده
منابع مشابه
Topologies for the Set of
An infinite sequence (!-word) is referred to as disjunctive provided it contains every finite word as infix (factor). As Jürgensen and Thierrin [JT83] observed the set of disjunctive !-words, D, has a trivial syntactic monoid but is not accepted by a finite automaton. In this paper we derive some topological properties of the set of disjunctive!-words. We introduce two non-standard topologies o...
متن کاملA RELATION BETWEEN THE CATEGORIES Set * , SetT, Set AND SetT
In this article, we have shown, for the add-point monad T, thepartial morphism category Set*is isomorphic to the Kleisli category SetT. Alsowe have proved that the category, SetT, of T-algebras is isomorphic to thecategory Set of pointed sets. Finally we have established commutative squaresinvolving these categories.
متن کاملRemarks on extremally disconnected semitopological groups
Answering recent question of A.V. Arhangel’skii we construct in ZFC an extremally disconnected semitopological group with continuous inverse having no open Abelian subgroups.
متن کاملQuotient topologies in constructive set theory and type theory
The standard construction of quotient spaces in topology uses full separation and power sets. We show how to make this construction using only the (generalised) predicative methods available in constructive type theory and constructive set theory. MSC: primary 03F65, 54B15, secondary 03B15, 03E70.
متن کاملComplete Congruences on Topologies and Down-set Lattices
From the work of Simmons about nuclei in frames it follows that a topological space X is scattered if and only if each congruence Θ on the frame of open sets is induced by a unique subspace A so that Θ = {(U, V ) |U ∩A = V ∩A}, and that the same holds without the uniqueness requirement iff X is weakly scattered (corrupt). We prove a seemingly similar but substantially different result about qua...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Mathematics and Mathematical Sciences
سال: 1989
ISSN: 0161-1712,1687-0425
DOI: 10.1155/s0161171289000827